QRB-Domains and the Probabilistic Powerdomain

QRB, QFS, and the Probabilistic Powerdomain

We show that the first author’s QRB-domains coincide with Li and Xu’s QFS-domains, and also with Lawson-compact quasi-continuous dcpos, with stably-compact locally finitary compact spaces, with sober QFSspaces, and with sober QRB-spaces. The first three coincidences were discovered independently by Lawson and Xi. The equivalence with sober QFS-spaces is then applied to give a novel, direct proo...

The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces

For the semantics of probabilistic features in programming mainly two approaches are used for building models. One is the Giry monad of Borel probability measures over metric spaces, and the other is Jones’ probabilistic powerdomain monad [6] over dcpos (directed complete partial orders). This paper places itself in the second domain theoretical tradition. The probabilistic powerdomain monad is...

The troublesome probabilistic powerdomain

In [12] it is shown that the probabilistic powerdomain of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at subcategories such as RB, the retracts of bifinite domains. [8] offers a proof that the probabilistic powerdomain construction can be restricted to RB. In this paper, we give a counterexample to Graham’s p...

Lawson-compactness for the Probabilistic Powerdomain

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces

Stably compact spaces Xs can be described as being derived from compact ordered spaces X by weakening their topology to the open upper sets. In this paper the probabilistic powerdomain of a stably compact space Xs is investigated using the compact ordered space X and classical tools from measure theory and functional analysis. This allows to derive in a unified and elegant way known and new res...